00001 <?php 00005 interface UserDataProvider { 00006 /* 00007 * Die folgenden Konstanten dienen als Indizes des Arrays, 00008 * das nach einem Aufruf von <code>getUserData($userID)</code> zurückgegeben wird. 00009 */ 00010 const ID = 'id'; // ID des Datensatzes 00011 const DATE = 'date'; // Datum des Datensatzes 00012 const HINT = 'hint'; // Beschreibung des Datensatzes 00013 const CONTENT = 'content'; // Inhalt des Datensatzes 00014 const COURSE = 'course'; // Kurs-ID des Kurses, der den Datensatz enthält 00015 00016 /* 00017 * Diese Konstanten dienen ebenfalls als Indizes dieses Arrays, 00018 * werden aber nicht von einem <code>UserDataProvider</code> genutzt. 00019 * Sie dienen vielmehr der späteren Verarbeitung, beispielsweise durch <code>UserData</code>. 00020 */ 00021 const META = 'meta'; // Metadaten eines Kurses oder Moduls 00022 /* */ const MODULE = 'module'; // Weitere Daten (ID, Name, ...) eines Moduls 00023 /* */ const CLOSED = 'closed'; // Kurs wurde geschlossen 00024 /* */ const POLICY = 'policy'; // Kurs ist Prüfungsleistung 00025 /* */ const DELETEABLE = 'deleteable'; // 00026 /* */ const ANONYM = 'anonym'; // und weitere ... 00027 /* */ const PSEUDONYM = 'pseudonym'; // 00028 00035 public function getUserData($userID); 00036 00037 /* 00038 * Diese Methode löscht einen benutzerspezifischen Datensatz. 00039 * 00040 * @param int $userID die ID des Benutzers 00041 * @param int $courseID die ID des Kurses 00042 * @param int $resourceID die ID des Datensatzes 00043 * 00044 * public function deleteData($userID, $courseID, $resourceID); 00045 */ 00046 } 00047 ?>
1.5.5